1. Compositional Verification of Concurrent and Real-Time Systems

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.

2. Symposium on the use of computers in mechanical engineering, proceedings of 13th December 1962

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic data processing-- Mechanical engineering

رده :
TJ
153
.
S9

3. تحلیل مسائل مهندسی مکانیک به کمک آباکوس (سطح متوسط و پیشرفته)

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: آباکوس,(Abaqus (Electronic resource,مهندسی مکانیک -- داده‌پردازی,Data processing -- Mechanical engineering,مهندسی مکانیک -- شبیه‌سازی کامپیوتری,Computer Simulation -- Mechanical engineering,مهندسی مکانیک -- مسائل، تمرین‌ها و غیره (عالی),(Problems, exercises, etc (Higher -- Mechanical engineering,روش المان‌های محدود -- نرم‌افزار,Software -- Finite elements method

رده :
TJ
۱۵۳
/
م
۲
ت
۳ ۱۳۹۵